signature COMPILE_STRUCTS =
sig
end

signature COMPILE =
sig
  include COMPILE_STRUCTS
  
  val top : unit -> unit
end
